ordered triple - German English Dictionary